『Type Theory and Formal Proof: An Introduction』
著者：
Rob Nederpelt
,
Herman Geuvers
版元：
Cambridge University Press
発行年：2014/11/6
頁数： 466ページ
形態：ハードカバー
定価：
所持：
pdf:
https://anggtwu.net/tmp/nederpelt_geuvers__type_theory_and_formal_proof_an_introduction.pdf
#文献